A Complete Framework for Verification, Validation, and Uncertainty Quantification in Scientific Computing
نویسندگان
چکیده
This paper gives a broad overview of a complete framework for assessing the predictive uncertainty of scientific computing applications. The framework is complete in the sense that it treats both types of uncertainty (aleatory and epistemic) and incorporates uncertainty due to the form of the model and any numerical approximations used. Aleatory (or random) uncertainties in model inputs are treated using cumulative distribution functions, while epistemic (lack of knowledge) uncertainties are treated as intervals. Approaches for propagating both types of uncertainties through the model to the system response quantities of interest are discussed. Numerical approximation errors (due to discretization, iteration, and round off) are estimated using verification techniques, and the conversion of these errors into epistemic uncertainties is discussed. Model form uncertainties are quantified using model validation procedures, which include a comparison of model predictions to experimental data and then extrapolation of this uncertainty structure to points in the application domain where experimental data do not exist. Finally, methods for conveying the total predictive uncertainty to decision makers are presented.
منابع مشابه
A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing
An overview of a comprehensive framework is given for estimating the predictive uncertainty of scientific computing applications. The framework is comprehensive in the sense that it treats both types of uncertainty (aleatory and epistemic), incorporates uncertainty due to the mathematical form of the model, and it provides a procedure for including estimates of numerical error in the predictive...
متن کاملSharp Boundary Electrocardiac Simulations
We present a sharp boundary electrocardiac simulation model based on the finite volume embedded boundary method for the solution of voltage dynamics in irregular domains with anisotropy and a high degree of anatomical detail. This method is second order accurate uniformly up to boundaries and is able to resolve small features without the use of fine meshes. This capability is necessary to enabl...
متن کاملEfficient Algorithms for Mixed Aleatory-Epistemic Uncertainty Quantification with Application to Radiation-Hardened Electronics Part I: Algorithms and Benchmark Results
This report documents the results of an FY09 ASC V&V Methods level 2 milestone demonstrating new algorithmic capabilities for mixed aleatory-epistemic uncertainty quantification. Through the combination of stochastic expansions for computing aleatory statistics and interval optimization for computing epistemic bounds, mixed uncertainty analysis studies are shown to be more accurate and efficien...
متن کاملRigorous verification, validation, uncertainty quantification and certification through concentration-of-measure inequalities
We apply concentration-of-measure inequalities to the quantification of uncertainties in the performance of engineering systems. Specifically, we envision uncertainty quantification in the context of certification, i. e., as a tool for deciding whether a system is likely to perform safely and reliably within design specifications. We show that concentration-of-measure inequalities rigorously bo...
متن کاملExperimental Efforts for Predictive Computational Fluid Dynamics Validation
Ideally, Validation and Verification methods to be used to deliver Predictive Computational Fluid Dynamics (P-CFD) methods for design use, must utilize a consistent set of detailed input to perform an output response comparison to associated data that can accurately characterize the uncertainty in the calculated results. In this paper, some experimental efforts are described and discussed in re...
متن کامل